6

Empirical studies of software validation

Year:
1979
Language:
english
File:
PDF, 460 KB
english, 1979
7

Functional testing and design abstractions

Year:
1980
Language:
english
File:
PDF, 849 KB
english, 1980
8

Program testing versus proofs of correctness

Year:
1991
Language:
english
File:
PDF, 675 KB
english, 1991
23

An investigation of the applicability of data usage analysis

Year:
1991
Language:
english
File:
PDF, 1.39 MB
english, 1991
24

Algebraic program testing

Year:
1978
Language:
english
File:
PDF, 837 KB
english, 1978
26

An evaluation of the effectiveness of symbolic testing

Year:
1978
Language:
english
File:
PDF, 1.24 MB
english, 1978
27

Confidence-based reliability and statistical coverage estimation

Year:
1999
Language:
english
File:
PDF, 34 KB
english, 1999
28

Solution plans and interactive problem solving

Year:
1975
Language:
english
File:
PDF, 517 KB
english, 1975
30

A functional approach to program testing and analysis

Year:
1986
Language:
english
File:
PDF, 2.26 MB
english, 1986
33

Contemporary software development environments

Year:
1982
Language:
english
File:
PDF, 1.16 MB
english, 1982
34

Two-dimensional program design

Year:
1986
Language:
english
File:
PDF, 1.83 MB
english, 1986
41

Travel Booklets as An Aid to Geography

Year:
1917
Language:
english
File:
PDF, 249 KB
english, 1917
47

Validation of Scientific Programs

Year:
1982
Language:
english
File:
PDF, 2.79 MB
english, 1982